Issue1609e.agda:4,1-1
Issue1609e.agda:4,1: Illegal: rewrite in type signature
<EOF><ERROR>
...
